例句與造句

1. "Proof of program correctness by use of mathematical induction " : Knuth demonstrates the application of mathematical induction to an " extended " version of Euclid's algorithm, and he proposes " a general method applicable to proving the validity of any algorithm ".
2. It's difficult to find proof of program correctness in a sentence. 用proof of program correctness造句挺難的